Non-Turing Computers are the New Non-Euclidean Geometries
نویسنده
چکیده
While it goes without saying that computing devices need space and time (spacetime), nothing in Turing’s theory of idealized computation prepares one for the rich nature of a computer’s dependence on the underlying spacetime geometry. Nor does that theory prepare one for the vast array of non-Turing computers (and one computer à la Turing) obtained by painting ordinary Turing machine hardware on a variety of different geometries. Different geometries yield radically different computers, and the range of computers extends way beyond Turing’s machine. Explicating and assessing this discovery is the object of this article.
منابع مشابه
Spatial Analysis in curved spaces with Non-Euclidean Geometry
The ultimate goal of spatial information, both as part of technology and as science, is to answer questions and issues related to space, place, and location. Therefore, geometry is widely used for description, storage, and analysis. Undoubtedly, one of the most essential features of spatial information is geometric features, and one of the most obvious types of analysis is the geometric type an...
متن کاملSome improvements in fuzzy turing machines
In this paper, we improve some previous definitions of fuzzy-type Turing machines to obtain degrees of accepting and rejecting in a computational manner. We apply a BFS-based search method and some level’s upper bounds to propose a computational process in calculating degrees of accepting and rejecting. Next, we introduce the class of Extended Fuzzy Turing Machines equipped with indeterminacy s...
متن کاملImage flip CAPTCHA
The massive and automated access to Web resources through robots has made it essential for Web service providers to make some conclusion about whether the "user" is a human or a robot. A Human Interaction Proof (HIP) like Completely Automated Public Turing test to tell Computers and Humans Apart (CAPTCHA) offers a way to make such a distinction. CAPTCHA is a reverse Turing test used by Web serv...
متن کاملAffine and Projective Universal Geometry
By recasting metrical geometry in a purely algebraic setting, both Euclidean and non-Euclidean geometries can be studied over a general field with an arbitrary quadratic form. Both an affine and a projective version of this new theory are introduced here, and the main formulas extend those of rational trigonometry in the plane. This gives a unified, computational model of both spherical and hyp...
متن کاملThe Evolution of Urban Zoning from Conventional to Form Based Codes; Introducing Non-Euclidean Zoning Techniqueschniques
Zoning has always been one of the basic tools of land use control available. Zoning is the regulation and restriction of land uses according to a predetermined plan. This paper will present a look at conventional zoning, its origins, the evolution of the zoning, and the scope of zoning types. Regardless of the varieties, most zoning codes can be classified into at least one of the following bro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IJUC
دوره 5 شماره
صفحات -
تاریخ انتشار 2009